ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Algebraic Logic and Logically-geometric Types in Varieties of Algebras

The main objective of this paper is to show that the notion of type which was developed within the frames of logic and model theory has deep ties with geometric properties of algebras. These ties go back and forth from universal algebraic geometry to the model theory through the machinery of algebraic logic. We show that types appear naturally as logical kernels in the Galois correspondence bet...

متن کامل

2 3 D ec 2 00 3 ALGEBRAIC LOGIC , VARIETIES OF ALGEBRAS AND ALGEBRAIC VARIETIES

The aim of the paper is discussion of connections between the three kinds of objects named in the title. In a sense, it is a survey of such connections; however, some new directions are also considered. This relates, especially, to sections 3, 4 and 5, where we consider a field that could be understood as an universal algebraic geometry. This geometry is parallel to universal algebra. In the mo...

متن کامل

Algebraic Logic Iv. Equality in Polyadic Algebras

Introduction. A standard way to begin the study of symbolic logic is to describe one after another the propositional calculus, the monadic functional calculus, the pure first-order functional calculus, and the functional calculus with equality. The algebraic aspects of these logical calculi belong to the theories of Boolean algebras, monadic algebras, polyadic algebras, and cylindric algebras r...

متن کامل

The Relation Type of Affine Algebras and Algebraic Varieties

We introduce the notion of relation type of an affine algebra and prove that it is well defined by using the Jacobi-Zariski exact sequence of André-Quillen homology. In particular, the relation type is an invariant of an affine algebraic variety. Also as a consequence of the invariance, we show that in order to calculate the relation type of an ideal in a polynomial ring one can reduce the prob...

متن کامل

Surjectivity of epimorphisms in varieties of algebraic logic

In the present paper we answer the question for a broad family of classes of algebras occurring in algebraic logic whether epimorphisms are surjective in the class in question or not. These are algebraic theorems and answer open algebraic problems stated in the literature. Using the duality theory between logics and classes of algebras elaborated in algebraic logic then we use our theorems for ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Algebra and Its Applications

سال: 2012

ISSN: 0219-4988,1793-6829

DOI: 10.1142/s0219498812501460